Concerning the high time-complexity of shared resource matrix method based on array storage in the detection of system covert channel, an improved algorithm based on double cross linked list was proposed. Firstly, traditional array storage was improved by double cross linked list storage in transitive closure operation. Secondly, a probability model for shared resource matrix method was constructed. Finally, the time-complexity of the improved algorithm and features of shared resource matrix were analyzed under the probability model. When the shared resource matrix was a sparse matrix, using the improved algorithm based on double across linker storage could prompt 67% time efficiency of shared resource matrix compared to traditional realization based on array storage. When the scale of shared resource matrix was quite great, the property of transitive closure operation would cause quick filling of elements in shared resource matrix, then the time efficiency advantage of improved algorithm based on double cross linker was declined compared to traditional algorithm based on array storage. This property of transitive closure operation was proven through theoretical deduction under the probability model.

Aiming at the problem that TelemeTry and Command (TT&C) Message-Oriented Middleware (MOM) with traditional model like message queue and shared memory has the disadvantage of tightly coupling and limited extensible ability. Combining with the current characteristics of TT&C computer system, a function distributed TT&C MOM system with Publish/Subscribe (Pub/Sub) model was put forward. Centralized publish/subscribe server was canceled with its function embedded into the distributed processing unit. The working process of themes global registration, subscriptions global broadcasting and event local matching were designed. And its transmission reliability was achieved through the reliable multicast protocol, its nodes reliability was achieved by soft duplex with virtual IP mechanism and accelerated push-pull heartbeat detection. Experiments show that the average response time of Pub/Sub message is controlled within 100 ms, the packet loss rate of multicast protocol is around 0.86×10^-7, duplex switch delay is up to 56 ms. This TT&C MOM system with Pub/Sub model satisfies the requirement of highly real-time performance and reliability of TT&C applications.